1. A Course on Mathematical Logi
پدیدآورنده : / by Shashi Mohan Srivastava
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Mathematics,Computer science,Algebra,Logic, Symbolic and mathematical,Electronic books
رده :
E-BOOK
2. A first journey through logic /
پدیدآورنده : Martin Hils, François Loeser.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical, Textbooks.,Mathematics, Textbooks.,Logic, Symbolic and mathematical.,Mathematical logic and foundations -- Instructional exposition (textbooks, tutorial papers, etc.),Mathematics.,Mathematische Logik
رده :
QA9
.
H52445
2019
3. A formalization of set theory without variables /
پدیدآورنده : by Alfred Tarski and Steven Givant.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Set theory.,Logic, Symbolic and mathematical.,Ensembles, Théorie des.,Logique symbolique et mathématique.,Axiomatische Mengenlehre,Axiomatische Mengenlehre.,Logic, Symbolic and mathematical.,Mathematische Logik,Mathematische Logik.,Mengenlehre,Mengenlehre.,Set theory.,Teoria Dos Conjuntos.,Verzamelingen (wiskunde)
رده :
QA248
.
T37
1987
4. Axiomatic theory of sets and classes
پدیدآورنده : Eisenberg, Murray
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Axiomatic set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
E37
5. Elements of Logical Reasoning
پدیدآورنده : / Jan von Plato
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic, Symbolic and mathematical,Reasoning,MATHEMATICS -- Logic., bisacsh,منطق ریاضی,استدلال,ریاضیات -- منطق
رده :
QA9
.
V66
2013
6. Elements of logical reasoning /
پدیدآورنده : Jan von Plato
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical,Reasoning
رده :
QA9
.
V66
2013
7. Feferman on foundations :
پدیدآورنده : Gerhard Jäger, Wilfried Sieg, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Mathematical foundations.,Mathematical theory of computation.,MATHEMATICS-- General.,Philosophy: logic.
رده :
QA9
.
2
8. Fuzzy Decision Procedures with Binary Relations :
پدیدآورنده : by Leonid Kitainik.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Mathematics.,Operations research.
رده :
QA279
.
4
B954
1993
9. Fuzzy Logic :
پدیدآورنده : W Leinfellner
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Fuzzy sets -- Congresses.,Fuzzy systems -- Congresses.
10. Introduction to mathematical logic
پدیدآورنده : Mendelson, Elliott
کتابخانه: Library of Mofid University (Qom)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA9
.
M4
2001
11. Introduction to mathematical logic /
پدیدآورنده : Elliott Mendelson
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical
رده :
QA9
.
M4
2010
12. Langages, ensembles, theories axiomatiques
پدیدآورنده : Hervieux, Maurice
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Axiomatic set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
H44
13. Mathematics of Fuzzy Sets
پدیدآورنده : edited by Ulrich Höhle, Stephen Ernest Rodabaugh.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Mathematical optimization.,Mathematics.,Operations research.
14. Naive Set Theory
پدیدآورنده : by Paul R. Halmos.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Mathematics.
15. Set theory and its logic
پدیدآورنده : Quine, W. V.)Willard Van Orman(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Axiomatic set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
Q5
1969
16. Set theory and its logic
پدیدآورنده : Quine, Willard Van Orman, 8091-0002
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Axiomatic set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
Q56S4
17. Sets, logic, and axiomatic theorie
پدیدآورنده : Stoll, Robert Roth., ]by[ Robert R. Stoll
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
3
.
S78
18. Sets, logic, and axiomatic theories
پدیدآورنده : / By Robert R. Stoll
کتابخانه: Library of Islamic Encyclopedia Foundation (Tehran)
موضوع : نظریه مجموعه‌ها,Set theory,Logic - Symbolic and mathematical
رده :
QA248
.
S7
19. Sets, logic, and axiomatic theories
پدیدآورنده : Stoll, Robert Roth, 5191-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
3
.
S76S4
1974
20. The foundations of mathematics /
پدیدآورنده : Ian Stewart and David Tall
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical
رده :
QA9
.
S755
2015
